منابع مشابه
Representing Counterparts
This paper presents and motivates a counterpart theoretic semantics for quantified modal logic based on a fleshed out account of Lewis’s notion of a ‘possibility.’ According to the account a possibility consists of a world and some haecceitistic information about how each possible individual gets represented de re. A semantics for quantified modal logic based on evaluating formulae at possibili...
متن کاملRepresenting Accent
In this article I present a formal theory of word accent. The theory separates the representation of primary accent and ‘perceptually strong’ syllables that are due to rhythm (sometimes in combination with syllable weight), the idea being that the rhythmic beats are accounted for independently, although ‘with reference to’ the primary accent location.
متن کاملRepresenting dispositions
Dispositions and tendencies feature significantly in the biomedical domain and therefore in representations of knowledge of that domain. They are not only important for specific applications like an infectious disease ontology, but also as part of a general strategy for modelling knowledge about molecular interactions. But the task of representing dispositions in some formal ontological systems...
متن کاملRepresenting Strategies
Quite some work in the ATL-tradition uses the differences between various types of strategies (positional, uniform, perfect recall) to give alternative semantics to the same logical language. This paper contributes to another perspective on strategy types, one where we characterise the differences between them on the syntactic (object language) level. This is important for a more traditional kn...
متن کاملRepresenting Trees ∗
The tree data structure is the archetypal means for representing hierarchies, and as such is rightly considered a well known object in computing. Still, studying the relevant literature, as well as practicing with various programming systems reveals that some topics seem to have escaped the attention of both scientist and practitioners. These are perhaps small topics, yet we consider it importa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Conflict Resolution
سال: 2003
ISSN: 0022-0027,1552-8766
DOI: 10.1177/0022002703254477